Goodloe, Alwyn E.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Fault-tolerant functional reactive programming (extended version)

PEREZ, IVAN, GOODLOE, ALWYN E.

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 759 KB

2020

2

Copilot: monitoring embedded systems

Pike, Lee, Wegmann, Nis, Niller, Sebastian, Goodloe, Alwyn

Journal:

Innovations in Systems and Software Engineering

Year:

2013

Language:

english

File:

PDF, 1.17 MB

english, 2013

3

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || A Semantic Analysis of Wireless Network Security Protocols

Goodloe, Alwyn E., Person, Suzette

Year:

2012

Language:

english

File:

PDF, 298 KB

english, 2012

4

Compositional verification of a communication protocol for a remotely operated aircraft

Goodloe, Alwyn E., Muñoz, César A.

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 494 KB

english, 2013

5

[IEEE 20th IEEE Computer Security Foundations Symposium (CSF'07) - Venice, Italy (2007.07.6-2007.07.8)] 20th IEEE Computer Security Foundations Symposium (CSF'07) - Reasoning about Concurrency for Security Tunnels

Goodloe, Alwyn E., Gunter, Carl A.

Year:

2007

Language:

english

File:

PDF, 676 KB

english, 2007

6

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || Formal Verification by Abstract Interpretation

Goodloe, Alwyn E., Person, Suzette

Year:

2012

Language:

english

File:

PDF, 97 KB

english, 2012

7

Formal analysis of pilot error with agent safety logic

Ahrenbach, Seth, Goodloe, Alwyn

Journal:

Innovations in Systems and Software Engineering

Year:

2018

Language:

english

File:

PDF, 561 KB

english, 2018

8

[ACM Press the international conference - Greenoble, France (2002.10.08-2002.10.11)] Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems - CASES '02 - Predictable programs in barcodes

Goodloe, Alwyn, McDougall, Michael, Gunter, Carl A., Alur, Rajeev

Year:

2002

Language:

english

File:

PDF, 155 KB

english, 2002

9

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Formal prototyping in early stages of protocol design

Goodloe, Alwyn, Gunter, Carl A., Stehr, Mark-Oliver

Year:

2005

Language:

english

File:

PDF, 518 KB

english, 2005

10

Experience report

Pike, Lee, Wegmann, Nis, Niller, Sebastian, Goodloe, Alwyn

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 459 KB

english, 2012

11

[IEEE 2019 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) - Pasadena, CA, USA (2019.7.30-2019.8.1)] 2019 IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT) - Fault-Tolerant Swarms

Perez, Ivan, Goodloe, Alwyn, Edmonson, William

Year:

2019

Language:

english

File:

PDF, 485 KB

english, 2019

12

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Experience report

Pike, Lee, Wegmann, Nis, Niller, Sebastian, Goodloe, Alwyn

Year:

2012

Language:

english

File:

PDF, 459 KB

english, 2012

13

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || Checking and Distributing Statistical Model Checking

Goodloe, Alwyn E., Person, Suzette

Year:

2012

Language:

english

File:

PDF, 438 KB

english, 2012

14

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols

Goodloe, Alwyn E., Person, Suzette

Year:

2012

Language:

english

File:

PDF, 355 KB

english, 2012

15

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || Inferring Definite Counterexamples through Under-Approximation

Goodloe, Alwyn E., Person, Suzette

Year:

2012

Language:

english

File:

PDF, 296 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски